Search results for "Logical conjunction"

Practicing logical reasoning through Drosophila segmentation gene mutants.

2021

Laboratory practical sessions are critical to scientific training in biology but usually fail to promote logical and hypothesis-driven reasoning and rely heavily on the teacher's instructions. This paper describes a 2-day laboratory practicum in which students prepare and analyze larval cuticle preparations of Drosophila segmentation gene mutant strains. Embryonic segmentation involves three major classes of genes according to their loss-of-function phenotypes: the establishment of broad regions by gap genes, the specification of the segments by the pair-rule genes, and the compartments within segments by the segment polarity genes. Students are asked to sort undefined segmentation mutants …

Logical and pseudo-logical optical fibre networks based on two-state (binary) optical fibre sensors for industrial monitoring and control systems

2005

The possibilities of development of logical and pseudo-logical optical fibre networks for monitoring and control of equipment and industrial sites are presented. Such networks composed of simple binary attenuation and optical fibre communication lines may also be used as fast and reliable systems developing a final command signal - logical and/or pseudo-logical, depending or the architecture of network and the type of located sensors. They realise the process similar to standard electronic logical sets but use the optical signal directly on the monitored or controlled device. The analysis of serial and parallel networks was carried out in the "dark" mode detection. The examples of networks …

Guide to Practical Work with the Monte Carlo Method

2002

The guide is structured such that we proceed from the “easy” simulation methods and algorithms to the more sophisticated. For each method the algorithms are presented by the technique of stepwise refinement. We first present the idea and the basic outline. From then on we proceed by breaking up the larger logical and algorithmic structures into smaller ones, until we have reached the level of single basic statements. Sometimes we may elect not to go to such a depth and the reader is asked to fill in the gaps.

Spin Logical and Memory Device Based on the Nonvolatile Ferroelectric Control of the Perpendicular Magnetic Anisotropy in PbZr 0.2 Ti 0.8 O 3 /Co/Pt …

2020

Data Banks and Multivariate Statistics in Physical Anthropology

1984

In recent decades, the fields of administration and economy, the press and - last but not least - the sciences have been characterized by an “explosion of knowledge”, and, as a consequence, by the problem of managing the rapidly increasing mass of information. It has been estimated that knowledge doubles each five years, and even that the interval of doubling seems to decrease. The main response to this challenge are computerized and structured data collections called data banks. “Data banks are systems of data collections which are organized according to logical and/or formal criteria; they should make it possible to reproduce the data of the total collection arranged according to differen…

The forgotten mathematical legacy of Peano

2019

International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.

Was King Arthur a King by Definition?

1988

Current research in knowledge representation distinguishes between descriptional and assertional interpretations of semantic nets. This paper explores theoretical and applicative problems, which arise from that distinction in a historic domain. A prolog implementation of KL-ONE is used as a vehicle to compare the various alternatives available to represent knowledge related to single elements of the domain insertion or not of this knowledge in semantic nets in their descriptional sense. The final section of the paper discusses the problem in relation to the theories concerning the functioning of proper names from a logical and philosophical point of view.

Las inteligencias múltiples en la escuela

2002

During many years has prevailed the idea of intelligence as a single problem solving ability (factor g) considered the best predictor of student’s academic achievement. Recently, researches have begun to take an alternative view of the problem, understanding it is a multidimensional construct. Multiple intelligences (MI) theory proposed by Gardner (1983) takes into account seven talents or skills individuals appear to have in certain amount. These latent bio-psychological potentials are stable and they are mantained through life. Theory of MI proposes that every person learns in relation to them. MI theory has many educational applications, however, very few efforts have been made to verify…

An improved quantum query algorithm for computing AND Boolean function

2010

We consider the quantum query model for computing Boolean functions. The definition of the function is known, but a black box contains the input X = (x 1 , x 2 , …, x n ). Black box can be accessed by querying x i values. The goal is to develop an algorithm, which would compute the function value for arbitrary input using as few queries to the black box as possible. We present two different quantum query algorithms for computing the basic Boolean function — logical AND of two bits. Both algorithms use only one query to determine the function value. Correct answer probability for the first algorithm is 80%, but for the second algorithm it is 90%. To compute this function with the same probab…